Richard Waldinger: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

International Society for Sexual Medicine's Guidelines for the Diagnosis and Treatment of Premature Ejaculation

Stanley E. Althof, Carmita H.N. Abdo, John Dean, Geoff Hackett, Marita McCabe, Chris G. McMahon, Raymond C. Rosen, Richard Sadovsky, Marcel Waldinger, Edgardo Becher, Gregory A. Broderick, Jacques Buv

Journal:

The Journal of Sexual Medicine

Year:

2010

Language:

english

File:

PDF, 294 KB

english, 2010

2

A Deductive Approach to Program Synthesis

Manna, Zohar, Waldinger, Richard

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1980

Language:

english

File:

PDF, 1.52 MB

english, 1980

3

Knowledge and reasoning in program synthesis

Zohar Manna, Richard Waldinger

Journal:

Artificial Intelligence

Year:

1975

Language:

english

File:

PDF, 2.83 MB

english, 1975

4

Problematic features of programming languages: a situational-calculus approach

Zohar Manna, Richard Waldinger

Journal:

Acta Informatica

Year:

1981

Language:

english

File:

PDF, 2.18 MB

english, 1981

5

Toward automatic program synthesis

Manna, Zohar, Waldinger, Richard J.

Journal:

Communications of the ACM

Year:

1971

Language:

english

File:

PDF, 8.32 MB

english, 1971

6

Special relations in automated deduction

Manna, Zohar, Waldinger, Richard

Journal:

Journal of the ACM

Year:

1986

Language:

english

File:

PDF, 3.85 MB

english, 1986

7

An Assessment of Techniques for Proving Program Correctness

Elspas, Bernard, Levitt, Karl N., Waldinger, Richard J., Waksman, Abraham

Journal:

ACM Computing Surveys

Year:

1972

Language:

english

File:

PDF, 4.16 MB

english, 1972

8

Deductive synthesis of the unification algorithm

Zohar Manna, Richard Waldinger

Journal:

Science of Computer Programming

Year:

1981

Language:

english

File:

PDF, 5.21 MB

english, 1981

9

The origin of a binary-search paradigm

Zohar Manna, Richard Waldinger

Journal:

Science of Computer Programming

Year:

1987

Language:

english

File:

PDF, 2.33 MB

english, 1987

10

How to clear a block: A theory of plans

Zohar Manna, Richard Waldinger

Journal:

Journal of Automated Reasoning

Year:

1987

Language:

english

File:

PDF, 1.44 MB

english, 1987

11

The bomb in the toilet

Richard Waldinger

Journal:

Computational Intelligence

Year:

1987

Language:

english

File:

PDF, 227 KB

english, 1987

12

The automatic synthesis of recursive programs

Manna, Zohar, Waldinger, Richard

Journal:

ACM SIGART Bulletin

Year:

1977

Language:

english

File:

PDF, 653 KB

english, 1977

13

The Editor Parenthesizes

E. E. N., Richard Beck, F. S. Grosshut, Kurt F. Reinhardt, Herman Salinger and Ernst Waldinger

Journal:

Year:

1952

Language:

english

File:

PDF, 685 KB

english, 1952

14

[ACM Press the 15th international conference - Palo Alto, CA, USA (2011.02.13-2011.02.16)] Proceedings of the 15th international conference on Intelligent user interfaces - IUI '11 - Deducing answers to english questions from structured data

Bobrow, Daniel G., Condoravdi, Cleo, Richardson, Kyle, Waldinger, Richard, Das, Amar

Year:

2011

Language:

english

File:

PDF, 386 KB

english, 2011

15

[IEEE 2011 IEEE Fifth International Conference on Semantic Computing (ICSC) - Palo Alto, CA, USA (2011.09.18-2011.09.21)] 2011 IEEE Fifth International Conference on Semantic Computing - English Access to Structured Data

Richardson, Kyle D., Bobrow, Danny G., Condoravdi, Cleo, Waldinger, Richard, Das, Amar

Year:

2011

Language:

english

File:

PDF, 737 KB

english, 2011

16

Men's Appraisals of Their Military Experiences in World War II: A 40-Year Perspective

Settersten, Richard A., Day, Jack K., Elder, Glen H., Waldinger, Robert J.

Journal:

Research in Human Development

Year:

2012

Language:

english

File:

PDF, 466 KB

english, 2012

17

PROVING PROPERTIES OF RULE-BASED SYSTEMS

WALDINGER, RICHARD J., STICKEL, MARK E.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

1992

Language:

english

File:

PDF, 983 KB

english, 1992

18

[ACM Press the 1988 ACM SIGMOD international conference - Chicago, Illinois, United States (1988.06.01-1988.06.03)] Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88 - A transaction logic for database specification

Qian, Xiaolei, Waldinger, Richard

Year:

1988

Language:

english

File:

PDF, 628 KB

english, 1988

19

[ACM Press the 1984 ACM Symposium - Austin, Texas, United States (1984.08.06-1984.08.08)] Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84 - TABLOG

Malachi, Yonathan, Manna, Zohar, Waldinger, Richard

Year:

1984

Language:

english

File:

PDF, 659 KB

english, 1984

20

[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Reasoning about programs

Waldinger, Richard J., Levitt, Karl N.

Year:

1973

Language:

english

File:

PDF, 1.01 MB

english, 1973

21

In Memory of Mark Stickel

Baumgartner, Peter, Bibel, Wolfgang, Waldinger, Richard

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 374 KB

english, 2016

22

A transaction logic for database specification

Qian, Xiaolei, Waldinger, Richard

Journal:

ACM SIGMOD Record

Year:

1988

Language:

english

File:

PDF, 628 KB

english, 1988

23

Is “sometime” sometimes better than “always”?: intermittent assertions in proving program correctness

Manna, Zohar, Waldinger, Richard

Journal:

Communications of the ACM

Year:

1978

Language:

english

File:

PDF, 1.28 MB

english, 1978

24

[IEEE 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA) - Cambridge, MA (2017.10.30-2017.11.1)] 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA) - Preserving confidentiality during the migration of virtual SDN topologies: A formal approach

Charmet, Fabien, Waldinger, Richard, Blanc, Gregory, Kiennert, Christophe, Toumi, Khalifa

Year:

2017

Language:

english

File:

PDF, 94 KB

english, 2017

25

Zohar Manna (1939–2018)

Dershowitz, Nachum, Waldinger, Richard

Journal:

Formal Aspects of Computing

Year:

2019

File:

PDF, 815 KB

2019